1. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
پدیدآورنده : George T. Heineman ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3489
2. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
3. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
4. Computer Assisted Radiology
پدیدآورنده : Computergestützte Radiologie : Proceedings of the International Symposium / Vorträge des Internationalen Symposiums.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biomedical engineering.,Computer-aided design.,Engineering.
5. Developing Information Systems :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System design.,Computer science-- Congresses.,Database management, Congresses.,Information storage and retrieval systems-- Congresses.
رده :
QA75
.
5
6. Engineering for human-computer interaction :
پدیدآورنده : edited by Stéphane Chatty, Prasun Dewan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Human-computer interaction -- Congresses.,Human-computer interaction.
رده :
QA76
.
9
.
H85
E358
1999
7. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
8. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
9. Formal methods for software architectures :
پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
10. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
رده :
TS155
.
63
E358
2002
11. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
12. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
13. OOIS 2001 :
پدیدآورنده : edited by Yingxu Wang, Shushma Patel, Ronald Johnston.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Object-oriented methods (Computer science),Object-oriented methods (Computer science) -- Congresses.
14. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
15. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
16. Reuse in the Big Data Era :
پدیدآورنده : Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
17. Second International IEEE Workshop on Software Evolvability :
پدیدآورنده : IEEE Computer Society.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Software maintenance, Congresses.,Computer Science.,Computer software-- Development.,Engineering & Applied Sciences.,Software maintenance.
رده :
QA76
.
76
.
D47
I322
2006
18. Software composition
پدیدآورنده : Alexandre Bergel, Johan Fabry (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses,Computer software-- Development, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
S3
2009
19. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.
20. Software engineering :
پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84